How to Lean Nix